$\forall$$i$:Id, $T$:Type\{i\}, $s$:$T$, $R$:($T$$\rightarrow$$T$$\rightarrow\mathbb{P}$\{i'\}), ${\it poss}$:(ES\{i\}$\rightarrow\mathbb{P}$\{i'\}), ${\it ev}$:possible{-}event\{i:l\}(${\it poss}$).
\\[0ex]poss{-}consistent($i$;$T$;$s$;${\it ev}$;$R$) $\in$ $\mathbb{P}$\{i'\}